„Cinemagraphs” Jamie Beck w kontekście dramatycznej teorii literatury

Automatic Cinemagraphs

A video speaks much more than a single picture can. Unfortunately, more often than not, most videos are littered with distractions that were unintentionally captured with the subject of interest. A cinemagraph presents the best of both worlds, creating clips of seamlessly looping GIFs that isolate the dynamics of a single region of interest, free from any distractions, for dramatic effect [1]. ...

Formalizacja naiwnej teorii typów

Językiem współczesnej matematyki jest teoria mnogości. Praktycznie wszystkie dowody matematyczne przeprowadza się na gruncie teorii zbiorów. Wszystkie książki i artykuły naukowe pisze się zakładając niejawnie aksjomaty ZF lub ZFC. Nawet nauczanie matematyki, od przedszkola po uniwersytet, prowadzi się na gruncie teorii mnogości. Jednak teoria mnogości została wprowadzona w zupełnie innym celu. ...

Stavové rovnice v teorii regulace

Beck ,

We discuss and give elementary proofs of results of Brion and of LawrenceVarchenko on the lattice-point enumerator generating functions for polytopes and cones. While this note is purely expository, its contains a new proof of Brion’s Theorem using irrational decompositions.

INTERSECTING RATIONAL BEATTY SEQUENCES Jamie

A rational Beatty sequence has the form {�pi/q + b� : i ∈ Z} where p > q > 0 and gcd(p, q) = 1. We call p/q the modulus of the sequence and b the offset. Morikawa gave a condition on the moduli of two Beatty sequences such that they would be disjoint for a suitable choice of offsets. Holzman and Fraenkel showed that the sequence formed by the intersection of two Beatty sequences with moduli p1/...